شركت مهندسي ارتباطات پيام مشرق، نرم افزار كتابخانه

1)

مقدمه اي برمنطق رياضي : براي دانشجويان علوم كامپيوترورياضي

پديدآور: سراجي، پيام
ناشر: اقيانوس معرفت
سال نشر: 1389
1389/6/6

ويرايش نسخ

2)

مدخل منطق صورت ، يا، منطق رياضي

پديدآور: مصاحب ، غلامحسين
ناشر: حكمت
سال نشر: 1366
1388/11/21

ويرايش نسخ

3)

منطق رياضي

پديدآور: اردشير، محمد
ناشر: هرمس
سال نشر: 1383
1388/5/21

ويرايش نسخ

4)

رياضيات و زندگي

پديدآور: آگوستيني ، فرانكو
ناشر: كتابهاي سپيده
سال نشر: 1367
1388/5/21

ويرايش نسخ

5)

ورودي به منطق رياضي

پديدآور: گرادشتين ، ايزرائيل سالامونوويچ
ناشر: شركت سهامي انتشارات خوارزمي
سال نشر: 1354
1388/5/21

ويرايش نسخ

6)

فلسفه رياضي ، كلاسيك ، مدرن ، پست مدرن

پديدآور: صال مصلحيان ، محمد
ناشر: واژگان خرد
سال نشر: 1384
1388/5/21

ويرايش نسخ

7)

درآمدي به منطق جديد

پديدآور: موحد، ضياء
ناشر: شركت انتشارات علمي و فرهنگي
سال نشر: 1383
1388/5/21

ويرايش نسخ

8)

منطق و مجموعه

پديدآور: قراگزلو، جليل الله
ناشر: وزارت آموزش و پرورش ، مركز انتشارات آموزشي Ý فرانكلين
سال نشر: 1353
1388/5/21

ويرايش نسخ

9)

راهي نو در منطق

پديدآور: هاجز، ويلفريد
ناشر: اطلاعات
سال نشر: 1364
1388/5/21

ويرايش نسخ

10)

پژوهشي در پيرامون مسئله ي تصميم در منطق طرح چند خوارزميك تحليلي - معنايي

پديدآور: اديب سلطاني ، ميرشمس الدين
ناشر: اميركبير
سال نشر: 1373
1388/5/21

ويرايش نسخ

11)

منطق براي رياضيدانان

پديدآور: هميلتون ، آ. گ.
ناشر: آستان قدس رضوي، بنياد فرهنگي رضوي
سال نشر: 1371
1388/5/21

ويرايش نسخ

12)

بنيادهاي منطق نگريك

پديدآور: هيلبرت ، داويد
ناشر: اميركبير
سال نشر: 1380
1388/5/21

ويرايش نسخ

13)

منطق رياضي چيست ؟

پديدآور:
ناشر: نشر روز
سال نشر: 1363
1388/5/21

ويرايش نسخ

14)

درآمدي به منطق جديد

پديدآور: موحد، ضياء
ناشر: تهران :شركت انتشارات علمي و فرهنگي
سال نشر: 1373
1388/5/21

ويرايش نسخ

15)

منطق و اثبات

پديدآور: بيتينجر، ماروين
ناشر: نشر علوم پايه
سال نشر: 1370
1388/5/21

ويرايش نسخ

16)

منطق رياضي به زبان ساده

پديدآور: بروجرديان ، ناصر
ناشر: جهاد دانشگاهي ، دانشگاه تهران ، دانشكده علوم
سال نشر: 1363
1388/5/21

ويرايش نسخ

17)

آشنايي با منطق رياضي

پديدآور: اندرتون ، هربرت
ناشر: مركز نشر دانشگاهي
سال نشر: 1366
1388/5/21

ويرايش نسخ

18)

منطق و استدلال رياضي

پديدآور: مصحفي ، عبدالحسين
ناشر: فاطمي
سال نشر: 1368
1388/5/21

ويرايش نسخ

19)

مقدمه اي بر استدلال رياضي

پديدآور: ايگل ويتس ، بوريس
ناشر: سازمان پژوهش و برنامه ريزي آموزشي ، انتشارات مدرسه
سال نشر: 1370
1388/5/21

ويرايش نسخ

20)

منطقهاي چند ارزشي

پديدآور: مالينوسكي ، گرز گرز
ناشر: انتشارات دانشگاه شهيد باهنر كرمان
سال نشر: 1376
1388/5/21

ويرايش نسخ

21)

قضيه مستقيم و قضيه معكوس

پديدآور: گرادشتين ، ايزرائيل سالامونوويچ
ناشر: نشر ني
سال نشر: 1375
1388/5/21

ويرايش نسخ